It is time for a new paper about open questions in the currently very active area of randomness and computability. Ambos-Spies and Kučera presented such a paper in 1999 [1]. All the question in it have been solved, except for one: is KL-randomness different from Martin-Löf randomness? This question is discussed in Section 6.Not all the questions are necessarily hard—some simply have not been tried seriously. When we think a question is a major one, and therefore likely to be hard, (...) we indicate this by the symbol ▶, the criterion being that it is of considerable interest and has been tried by a number of researchers. Some questions are close contenders here; these are marked by ▷. With few exceptions, the questions are precise. They mostly have a yes/no answer. However, there are often more general questions of an intuitive or even philosophical nature behind. We give an outline, indicating the more general questions.All sets will be sets of natural numbers, unless otherwise stated. These sets are identified with infinite strings over {0, 1}. Other terms used in the literature are sequence and real. (shrink)

We examine the Dual Ramsey Theorem and two related combinatorial principles VW(k,l) and OVW(k,l) from the perspectives of reverse mathematics and effective mathematics. We give a statement of the Dual Ramsey Theorem for open colorings in second order arithmetic and formalize work of Carlson and Simpson [1] to show that this statement implies ACA 0 over RCA 0 . We show that neither VW(2,2) nor OVW(2,2) is provable in WKL 0 . These results give partial answers to questions posed by (...) Friedman and Simpson [3]. (shrink)

The main purpose of this paper is to bring out some significant humanistic characteristics of Chinese religious thought. My account is limited to what is originally and typically Chinese. That is to say, it will exclude what has been influenced by Buddhism from India or Christianity from the Western world. Some of the theses of this paper are based on scholarly works, while others are drawn from the author's primary experience.

See the abstract for the "Abstracts from Logical Form II".

The rapidly changing field of genetics affects society through advances in health-care and through implications of genetic research. This study addresses the impacts of new genetic discoveries and technologies on different segments of today's society. The book begins with a chapter on genetic complexity, and subsequent chapters discuss moral and ethical questions arising from today's genetics from the perspectives of health care professionals, the media, the general public, special interest groups and commercial interests.

This experimental study provides further support for a theory of meaning first put forward by Bar-Hillel and Carnap in 1953 and foreshadowed by Asimov in 1951. The theory is the Popperian notion that the meaningfulness of a proposition is its a priori falsity. We tested this theory in the first part of this paper by translating to logical form a long, tightly written, published text and computed the meaningfulness of each proposition using the a priori falsity measure. We then selected (...) the top propositions—by a priori falsity—and strung them together to form ad hoc abstracts and compared these abstracts with the published summary. The results were startling: translation to logical form, followed by application of the Asimovian idea and Bar-Hillel/Carnap mathematics as elaborated into an AI/NLP proposal in Fulda (1986, 1988), produced excellent abstracts, thereby providing a proof-of-concept that merely by knowing the logical form of long text passages, one can produce reasonable abstracts of them—without actually understanding the text. We here report on a second experiment analyzing, in the exact same manner, the correspondence that followed the published text of the first experiment. While the results of this confirming experiment are less startling, they nevertheless provide additional confidence in the promise of the technique. In other words, were the results of these two experiments to generalize, that would show that logical form captures much more semantics than has heretofore been considered likely. Far from (as is commonly supposed) being merely the syntactical rewrite of text into formal notation, translation to logical form, even when undertaken with almost no knowledge about the particular predicates, individual constants, or other objects referred to in that form, might capture the core of the meaning in some important sense. -/- Note: There is a key difference in the /style/ of the texts analyzed in I and II in this long paper, divided into two only for practical reasons—space; the first text analyzed is written in a tight mathematical style, while the second is written in the discursive style of philosophy. -/- Finally, the unusual (for me) length of this two-part paper is justified by its being data-driven. (shrink)

Gives what we call "Asimov's Conjecture" that ambiguity can cause lying without lying, in that read one way a statement is tautologous, while read another way presents an iron-clad promise. Solves the conjecture on Asimov's own case by showing how the statement used (as diplomatic deception) is tautologous in propositional logic and an iron-clad promise in predicate logic (with a tense variable). The motivation for the experiment by Fulda & DeFontes (1989) and "Abstracts from Logical Form I/II (2006).".

Yoga has come to be an icon of Indian culture and civilization, and it is widely regarded as being timeless and unchanging. Based on extensive ethnographic research and an analysis of both ancient and modern texts, Yoga in Modern India challenges this popular view by examining the history of yoga, focusing on its emergence in modern India and its dramatically changing form and significance in the twentieth century. Joseph Alter argues that yoga's transformation into a popular activity idolized for (...) its health value is based on modern ideas about science and medicine. Alter centers his analysis on an interpretation of the seminal work of Swami Kuvalayananda, one of the chief architects of the Yoga Renaissance in the early twentieth century. From this point of orientation he explores current interpretations of yoga and considers how practitioners of yogic medicine and fitness combine the ideas of biology, physiology, and anatomy with those of metaphysics, transcendence, and magical power. The first serious ethnographic history of modern yoga in India, this fluently written book is must reading not only for students and scholars but also practitioners who seek a deeper understanding of how yoga developed over time into the exceedingly popular phenomenon it is today. (shrink)

Solves Vann McGee's counterexample to Modus Ponens within classical logic by disclosing the suppressed premises and bringing them /within/ the argument.

Previous studies of H. Richard Niebuhr's intellectual background have fallen into two groups: those that stress the German and especially Kantian sources of Niebuhr's thought, and those that emphasize the American and especially pragmatic sources of his thought.

In this volume, Joseph Catalano offers an in-depth exploration of Jean-Paul Sartre's four major philosophical writings: Being and Nothingness, Saint Genet: Actor and Martyr, The Critique of Dialectical Reason, and The Family Idiot. These works have been immensely influential, but they are long and difficult and thus challenging for both students and scholars. Catalano here demonstrates the interrelation of these four works, their internal logic, and how they provide insights into important but overlooked aspects of Sartre's thought, such as (...) the body, childhood, and evil. The book begins with Sartre's final work, The Family Idiot, and systematically works backward to Being and Nothingness. Catalano then repeats the study by advancing chronologically, beginning with Being and Nothingness and ending with The Family Idiot and an afterword on Flaubert's Madame Bovary. Readers will appreciate Catalano's subtle readings as well as the new insights that he brings to Sartre's oeuvre. (shrink)

The full-text of the entire issue is available on the Web; readers seeing this should ensure that there is permission to download. It would be quite difficult to separate just my piece from the others.

Alpha-beta pruning is a technique for pruning trees in artificial intelligence game-playing. This note draws an analogy between the technique, which is, in essence, an application of many-valued logic to the cut-off of the evaluation of conditionals in computer programs (for efficiency).

A demonstration of two difficulties, both prevalent, in modeling. The first is scopal errors, which are often hard to detect because of their subtlety. The second is that two equations, though facially identical, are implicitly conjoined to /different/ inequalities, limiting the range of the variables or parameters in the equations, thereby changing the (here, ecological) interpretation of the equation, and thus its meaning, and therefore whether it is or is not an adequate model.

ObjectivesTo compare changes in the number and amount of payments received by orthopedic and non-orthopedic surgeons from industry between 2014 and 2017.MethodsUsing the Centers for Medicare and Medicaid Services (CMS) Open Payment database from 2014 to 2017, we conducted a retrospective cohort study of industry payments to surgeons, including general payments and research payments.ResultsAmong orthopedic surgeons, the total number of general payments decreased from 248,698 in 2014 to 241,966 in 2017, but their total value increased from $97.1 million in 2014 (...) to $110.2 million in 2017. Among non-orthopedic surgeons, the total number decreased from 604,884 in 2014 to 582,490 in 2017, while the total value remained stable at approximately $159 million. Between 2014 and 2017, there was a differential increase in the median number of general payments received by non-orthopedic when compared to orthopedic surgeons (incidence rate ratio, 1.09; 95% CI, 1.08–1.09; p < 0.001), but a differential decline in the median value of general payments (− 8.9%; 95% CI, − 9.5%, − 8.4%; p < 0.001). Findings were consistent when stratified by nature of payment. In contrast, between 2014 and 2017, there was neither a differential change in the median number nor median value of research payments received by non-orthopedics.ConclusionExamination of a natural experiment of prior public disclosure of payments to orthopedic surgeons suggests that the Physician Payment Sunshine Act was associated with an increase in the number, but a decline in the value, of general payments received by non-orthopedic surgeons, but not on research payments received. (shrink)

Sartre’s Critique of Dialectical Reason ranks with Being and Nothingness as a work of major philosophical significance, but it has been largely neglected. The first volume, published in 1960, was dismissed as a Marxist work at a time when structuralism was coming into vogue; the incomplete second volume has only recently been published in France. In this commentary on the first volume, Joseph S. Catalano restores the Critique to its deserved place among Sartre’s works and within philosophical discourse as (...) a whole. Sartre attempts one of the most needed tasks of our times, Catalano asserts—the delivery of history into the hands of the average person. Sartre’s concern in the Critique is with the historical significance of everyday life. Can we, he asks, as individuals or even collectively, direct the course of our history? A historical context for our lives is given to us at birth, but we sustain that context with even our most mundane actions—buying a newspaper, waiting in line, eating a meal. In looking at history, Sartre argues, reason can never separate the historical situation of the investigator from the investigation. Thus reason falls into a dialectic, always depending upon the past for guidance but always being reshaped by the present. Clearly showing the influence of Marx on Sartre’s thought, the Critique adds the historical dimension lacking in Being and Nothingness. In placing the Critique within the corpus of Sartre’s philosophical writings, Catalano argues that it represents a development rather than a break from Sartre’s existentialist phase. Catalano has organized his commentary to follow the Critique and has supplied clear examples and concrete expositions of the most difficult ideas. He explicates the dialogue between Marx and Sartre that is internal to the text, and he also discusses Sartre’s Search for Method, which is published separately from the Critique in English editions. (shrink)

It is hard to think of two philosophers less alike than St. Thomas Aquinas and Jean-Paul Sartre. Aquinas, a thirteenth-century Dominican friar, and Sartre, a twentieth-century philosopher and atheist, are separated by both time and religious beliefs. Yet, for philosopher Joseph S. Catalano, the two are worth bringing together for their shared concern with a fundamental issue: the uniqueness of each individual person and how this uniqueness relates to our mutual dependence on each other. When viewed in the context (...) of one another, Sartre broadens and deepens Aquinas’s outlook, updating it for our present planetary and social needs. Both thinkers, as Catalano shows, bring us closer to the reality that surrounds us, and both are centrally concerned with the place of the human within a temporal realm and what stance we should take on our own freedom to act and live within that realm. Catalano shows how freedom, for Sartre, is embodied, and that this freedom further illuminates Aquinas’s notion of consciousness. ​ Compact and open to readers of varying backgrounds, this book represents Catalano’s efforts to bring a lifetime of work on Sartre into an accessible consideration of philosophical questions by placing him in conversation with Aquinas, and it serves as a primer on key ideas of both philosophers. By bringing together these two figures, Catalano offers a fruitful space for thinking through some of the central questions about faith, conscience, freedom, and the meaning of life. (shrink)

Discusses the methods of moral reasoning, the evaluation of moral arguments, nuclear war theory, the policy of nuclear deterrence, and the effect of nuclear weapons on nonnuclear powers.

In lieu of an abstract, here is a brief excerpt of the content:Crafting Marks Into MeaningsJoseph S. CatalanoIn his fascinating book about the Mayan Code, Michael D. Coe writes, “I challenge any native English speaker to avoid thinking of the word ‘twelve’ when looking at ‘12,’ or an Italian to avoid the utterance ‘dodici’ when going through the same performance.” 1 I accept the challenge, and claim that I have done just that. What shall the reply be—“I should not have (...) done so?” One suspects that linguists confuse theoretical problems about writing and reading with the experience itself.The nature of reading and writing is difficult to understand because on the one hand it seems to involve a complex of conventional marks, but on the other hand these marks seem capable of being understood independently of their relationship to speech or to things. One can claim, of course, that the competent reader works under an illusion: meaning comes to a script through spoken language, through a deep-structured language, through concepts, or through the way the neurons work in the brain. Without denying that the written word enters into many relations, I want to make a case that the history of writing shows that we have crafted marks into meanings and, therefore, that a text is meaningful on the level of the script itself.Before proceeding, I want both to clarify my use of the term “script,” and to give the basic outline of this essay. Studies on writing frequently distinguish among writing systems, scripts, and orthographies. Writing system is the most general of these terms. For example, the alphabet forms one writing system, and Chinese characters another. A script is a particular form of writing system; examples are the Roman alphabetic script and the Greek alphabetic script. An orthography is the way a particular language uses a script; for example, the way the English or [End Page 47] French languages use the Roman alphabetic script. In the concrete, however, there are only orthographies, and without wishing to challenge the traditional distinction, I will frequently interchange script and orthography.The first part of the essay is a discussion of my perspective on writing. My perspective is a substantive part of my case about writing, and I will clarify it at some length. Then I will examine some of the steps that led to our ability to read and write fluently. I will be recommending that in reading histories about writing, we view speech merely as a mediation through which written marks are crafted into meanings. My claim is that every artifact, indeed, every thing, needs to be correctly “read” in order to be used, and that the invention of an elegant system of writing lifts this readability from its specific materiality. For example, to use a fork properly one must be able to read this use in the fork. Language lifts this readability from the matter of the fork, the silver or stainless steel, and makes the readability itself an object.IRecall the last time you were engrossed while reading a novel. Most likely, you were not concerned with questions about the meaning of meaning or the difference between meaning and signification. But did your engaged reading and writing involve an inner speech and, if it did, how did you recognize homonyms, for example the difference between there and their? I suspect that only a small part of our vocabulary is acquired by vocalization. But more importantly, I want to question whether writing must be related to speech to be understood.Frank Smith has persistently questioned the belief that reading must involve vocalizations, and he has criticized the notion that the best way to proceed with reading instruction is by mapping speech onto print. In Understanding Reading, he writes: “Phonics is complicated.... We now know that if we really expect to give children a mastery of phonetics, that we are not talking about a dozen or so rules. We are talking about 166 rules, which will still not account for hundreds of the words they might expect to meet in their early reading.” 2In Reading, he notes: “How is it possible to recognize written words without sounding them out? The answer is that we recognize words in... (shrink)

During the sixteenth and early seventeenth centuries, physics was regularly taught as part of instruction in philosophy and the arts at Central European schools and universities. However, physics did not have a special or privileged status within that instruction. Three general indicators of this lack of special status are suggested in this article. First, teachers of physics usually were paid less than teachers of most other university-level subject-matters. Second, very few Central European academics during this period appear to have made (...) a career out of teaching physics. And third, Reformation Era schools and universities in Central Europe emphasized language instruction; such instruction not only was instrumental in promoting the confessional-i.e., Calvinist, Lutheran, and Roman Catholic-agendas of those same schools and universities, but also helped to prepare students for service in nascent but growing state governments. (shrink)

Presents a /simple/ epistemic solution to the paradox of the surprise test, suitable for undergraduates. Given the Gazette's audience, recalcitrant versions, such as Sorenson's, would have been inappropriate to even mention. It is also classified under "logical paradoxes," because it can be argued that given the existence of logical, rather than epistemic, solutions, so also the paradox is logical, rather than epistemic. -/- The author was not sent proofs, because the /Gazette/ was then run on a "shoestring budget"; the 2009 (...) article is just as intended, and the journal is now typeset well. (shrink)

Chow's defense of the null-hypothesis significance- test procedure is thoughtful and compelling in many respects. Nevertheless, techniques such as meta-analysis, power analysis, effect size estimation, and confidence intervals can be useful supplements to NHSTP in furthering the cumulative nature of behavioral research, as illustrated by the history of research on the spontaneous recovery of verbal learning.

Gives a general method as well as some results (inspired by Asimov, 1951; since discovered to be in Bar-Hillel and Carnap [several versions; Charles Parsons referred me to /Language and Information/]) to recover meaning (eventually automatically) from logical form/logical probability, which are mirror images. (Sets are taken as extensions of predicates, and knowledge of the sizes is needed; to that extent the method is a posteriori).

We present a linear formalism which makes explicit and precise the confirming effect of independent multiple observers and repeated trials on composite ratings, taking as parameters quantitative estimates of the subjective inputs discussed. -/- Note that the subjective probability used here is so used to study the past not predict the future and is rather limited to what has been called in artificial intelligence "certainty factors," which are arbitrary, or, more well-known, the arbitrary values ascribed to predicates in fuzzy "logic." (...) This is clear because the scales themselves are arbitrary and of the radio-button type. (shrink)

A second demonstration (more powerful because more subtle) of how a prevalent scope error can render a model invalid, and thus how difficult modeling really is. The prevalence indicates the difficulty, as the error is often built-in and very subtle and thus easily escapes notice.

Discusses a variety of maneuvers that editors and publishers, respectively, use with the untoward result that the author conveys something other than what and only what he intended to convey.

This article argues for substantial ex–post criminal penalties against purveyors of stolen intellectual property, in lieu of current legislation winding its way through both chambers of the United States Congress. Inter alia, it discusses why such a drastic remedy has proven necessary and what other measures the Congress should consider adopting. It concludes with a sobering discussion of Internet mischief more generally. -/- Note: This is in marked contrast to views expressed in 1999 when civil justice would have sufficed, and (...) the problems enumerated herein were foreseen and predicted in print, but because the Internet was still young and largely used constructively, the warning went unheeded. (shrink)

Value-sensitive design conceived as an a priori process is necessarily uncompleted, because the foresight needed to accommodate competing values in trueaccord with consumers’ wishes is simply unavailable ab initio. True value-sensitive design is, instead, an ongoing process of market discovery which is evolutionary in nature rather than a priori. We illustrate this generality with the landline telephone.

Considers the question of the authorship of the works in the title from a /philosophical/, as opposed to legal, standpoint, using the sense-reference dichotomy, intension-extension dichotomy, and procedural knowledge-declarative knowledge dichotomy. Reaches no conclusion.

This paper uncovers a much-neglected ambiguity in Kant’s conception of rational religion, namely, a confusion regarding the public communicability of moral faith, which would in turn render faith and knowledge indistinguishable. The few scholars who have noticed this ambiguity pursue its epistemic dimensions, but this paper explores its ramifications for Kant’s claim that coherent moral agency requires religious faith, taking issue with Lawrence Pasternack’s recent interpretation. Once one notices Kant has two methods for distinguishing conviction from persuasion, one is better (...) able to understand the connection he draws between religious conviction and conscientious character, and the corresponding connection between mere persuasion and spurious faith. While Kant does not explicitly acknowledge this parallel, this paper reveals that it is in play across the Kantian corpus, and is especially perspicuous in his analysis of the biblical figures of Job and his comforters. (shrink)